T. S. Blyth, Set Theory and Abstract Algebra (Longmans Mathematical Texts, 1975)
نویسندگان
چکیده
منابع مشابه
Formalizing Abstract Algebra in Constructive Set Theory
We present a machine-checked formalization of elementary abstract algebra in constructive set theory. Our formalization uses an approach where we start by specifying the group axioms as a collection of inference rules, defining a logic for groups. Then we can tell whether a given set with a binary operation is a group or not, and derive all properties of groups constructively from these inferen...
متن کاملAbstract Algebra, Mathematical Structuralism and Semiotics
Algebra, Mathematical Structuralism and
متن کاملHomological Algebra and Set Theory
Assuming the Axiom of Constructibility, necessary and sufficient conditions are given for the vanishing of Ext\ for rings A of global dimension 1. Using Martin's Axiom, the necessity of these conditions is shown not to be a theorem of ZFC. Applications are given to abelian group theory, including a partial solution (assuming V = L) to a problem of Baer on the splitting of abelian groups. Some i...
متن کاملSet Theory in Linear Algebra
Set theory language is an essential prerequisite for the cognition of linear algebra concepts. Many difficulties of cognition in linear algebra may be explained by the lack of mastery of set theory concepts. In the paper, an in depth discussion of documented categories of difficulties originated from set theory is provided.
متن کاملSet Theory and Algebra in Computer Science A Gentle Introduction to Mathematical Modeling
Algebra greatly broadened the very notion of algebra in two ways. First, the traditional numerical domains such as Z, Q R, and C, were now seen as instances of more general concepts of equationally-defined algebraic structure, which did not depend on any particular representation for their elements, but only on abstract sets of elements, operations on such elements, and equational properties sa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 1977
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091500026432